/*
 * Update.h
 *
 *  Created on: May 13, 2012
 *      Author: kobe
 */

#ifndef UPDATE_H_
#define UPDATE_H_

#include "Proposition.h"
#include "Agent.h"
#include "Util.h"

class Update: public Proposition {
public:
	Update(std::string);
	Update(Proposition*, Proposition*);
	virtual ~Update();
	std::string toString();
	std::string toLatex();
	bool compare(Proposition* );
    Proposition *getProposition() const;
    Proposition *getAction() const;
    bool isAction();

private:
	Proposition* mProposition;
	Proposition* mAction;
};

#endif /* UPDATE_H_ */
